$$\tau \rightarrow \mu \mu \mu $$ at a rate of one out of $$10^{14}$$ tau decays?

Measurements of Charged Current Lepton Universality and |V[subscript us]| Using Tau Lepton Decays to e-[over- bar]etau, mu-[over-bar]mu, pi-tau, and K-tau

and |V[subscript us]| Using Tau Lepton Decays to e-[over-bar]etau, mu-[over-bar]mu, pi-tau, and K-tau Citation BABAR Collaboration et al. " Measurements of Charged Current Lepton Universality and |V_{us}| Using Tau Lepton Decays to e^{-} nu [over-bar]_{e} nu _{ tau }, mu^{-} nu [over-bar]_{mu} nu _{ tau }, pi^{-} nu _{ tau }, and K^{-} nu _{ tau }. Article is made available in accordance with t...

Atmospheric neutrinos and maximal mu-tau mixing in unified models

The recent data describing the evidence for neutrino oscillations by Super Kamiokande implies that two neutrinos are very strongly mixed. We ask the question: can approximate maximal neutrino mixing be natural in unified (GUT or string) models? We attempt to answer this question in as much generality as possible. Without specifying a particular model, we are able to show that a gauged family sy...

Searches for Lepton Flavor Violation in the Decays tau[superscript ±]-->e[superscript ±]gamma and tau[superscript ±]-->mu[superscript ±]gamma

Search for the lepton-flavor-violating leptonic B(0)-->mu(+/-)tau(-/+) and B(0)-->e(+/-)tau(-/+).

We have searched a sample of 9.6 x 10(6) BB events for the lepton-flavor-violating leptonic B decays, B(0)-->mu(+/-)tau(-/+) and B(0)-->e(+/-)tau(-/+). The tau lepton was detected through the decay modes tau-->lnunu(-) , where l=e, mu. There is no indication of a signal, and we obtain the 90% confidence level upper limits B(B(0)-->mu(+/-)tau(-/+))<3.8 x 10(-5) and B(B(0)-->e(+/-)tau(-/+))<1.3 x...

Superdeduction in Lambda-Bar-Mu-Mu-Tilde

Superdeduction is a method specially designed to ease the use of first-order theories in predicate logic. The theory is used to enrich the deduction system with new deduction rules in a systematic, correct and complete way. A proof-term language and a cut-elimination reduction already exist for superdeduction, both based on Christian Urban’s work on classical sequent calculus. However the compu...